Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
651	Lessons from Efforts to Automatically Translate English to Knowledge Representation Languages Chitta Baral Faculty of Computer Science and Engineering Arizona State University Tempe, AZ[removed] Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:29:53 Logic in computer science Lambda calculus Models of computation Representation theory of Lie groups Computability theory Combinatory logic Knowledge representation and reasoning Natural language processing Ordinal number Theoretical computer science Mathematical logic Mathematics
652	What’s the story? Making sense of conflicting literacy and numeracy results National Adult Language, Literacy and Numeracy Assessment Conference 2014 Melbourne Add to Reading List Source URL: www.acer.edu.au Language: English - Date: 2014-07-02 01:28:52 Cognition NAPLAN Numeracy Programme for International Student Assessment Literacy Knowledge Education Mathematics education
653	Coeffects: A calculus of context-dependent computation Tomas Petricek Dominic Orchard Alan Mycroft Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-16 05:18:39 Programming language semantics Denotational semantics Logic in computer science Curvature Free variables and bound variables Vector space Lambda calculus Monad Mathematics Algebra Models of computation
654	Generating Feedback Reports for Adults Taking Basic Skills Tests Ehud Reiter and Sandra Williams Dept of Computing Science, University of Aberdeen { ereiter,swilliam}@csd.abdn.ac.uk Lesley Crichton Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2005-10-03 09:41:36 Mathematics education Educational psychology Literacy Education reform Natural language generation Skills for Life Numeracy Basic skills Educational assessment Education Knowledge Cognition
655	The Partnership for the Assessment of Readiness for College and Careers (PARCC) English Language Arts/Literacy and Mathematics, Grades 3 – 8 and High School* PARTNERSHIP RESOURCE CENTER: Digital library of released ite Add to Reading List Source URL: k12center.org Language: English - Date: 2012-04-09 16:49:15 Educational psychology PARCC Formative assessment Summative assessment STAR Educational assessment Education Evaluation Evaluation methods
656	3-2 Development of the SprinTra WFST Speech Decoder DIXON Paul Richard, HORI Chiori, and KASHIOKA Hideki In this paper we describe the NICT Weighted Finite State Transducer (WFST) based speech decoder named SprinTra. The Add to Reading List Source URL: www.nict.go.jp Language: English - Date: 2013-11-21 21:19:13 Science Linguistics Speech recognition Applied mathematics Finite state transducer N-gram Finite-state machine Language model Algorithm Automata theory Computational linguistics Models of computation
657	Assessment for CHCLLN402A Support adult numeracy learning and development Resources to Support the Language, Literacy and Numeracy (LLN) components for volunteer literacy tutors and Community Services and Health Care Wo Add to Reading List Source URL: www.cshisc.com.au Language: English - Date: 2013-02-21 21:47:34 Literacy Mathematics education Numeracy Skills for Life Educational Theory of Apprenticeship Education Pedagogy Knowledge
658	C. Optional Arguments This proposal for managing optional arguments and “rest” arguments in messages is consistent with the existing syntax of the language, Energetic Secrets (see Appendix D), and efficient implemen Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-12-04 19:43:49 Parameter Argument Scheme Function Subroutines Mathematics Software engineering
659	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pcp.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
660	Lemma 1 Ltd. 2nd Floor 31A Chain St. Reading Berks RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2011-07-27 09:29:54 Modal logic Philosophical logic Logic in computer science Non-classical logic Philosophy of language Accessibility relation Epistemic modal logic Propositional calculus HOL Logic Mathematical logic Mathematics

UPDATE